Honesty in Partial Logic
نویسندگان
چکیده
We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that ‘only knows φ’ and which honest φ enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic criteria for honesty. The rough syntactic definition of honesty is the existence of a minimal stable expansion, so the problem resides in the ordering relation underlying minimality. We discuss three different proposals for this ordering, together with their semantic counterparts, and show their effects on the induced notions of honesty.
منابع مشابه
Honesty in Partial
We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent thatònly knows '' and which ho...
متن کاملDesign and Simulation of a 2GHz, 64×64 bit Arithmetic Logic Unit in 130nm CMOS Technology
The purpose of this paper is to design a 64×64 bit low power, low delay and high speed Arithmetic Logic Unit (ALU). Arithmetic Logic Unit performs arithmetic operation like addition, multiplication. Adders play important role in ALU. For designing adder, the combination of carry lookahead adder and carry select adder, also add-one circuit have been used to achieve high speed and low area. In mu...
متن کاملThe relations among well-being outcomes and motives, religiosity, and personality factors in Malaysian muslim university students
A major focus of attention in psychology has been on the consequences and determinants of well-being. Religiosity and personality have both been shown to predict well-being and mental health, but the two predictors have not often been investigated together. The relations among well-being outcomes and motives, religiosity, and personality factors were investigated in a Malay muslim context. 255 ...
متن کاملPartially - honest Nash implementation with non - connected honesty standards ∗
An individual may display an honesty standard which allows her to lie a little without that being harmful to her self view as an honest person. On this basis, the paper considers a society with a finite number of individuals involving partially-honest individuals and in which every individual has her own honesty standard. An individual honesty standard is modeled as a subgroup of the society, i...
متن کاملA General Approach To Multi-Agent Minimal Knowledge With Tools And Samples
We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent’s knowledge containing exactly the information conveyed by some (honest) formula φ. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a’...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 56 شماره
صفحات -
تاریخ انتشار 1994